Diclib.com
Dizionario ChatGPT

Ricerca nel dizionario Soluzioni personalizzate

Inserisci una parola o una frase in qualsiasi lingua 👆

Lingua:

Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT

In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:

come viene usata la parola
frequenza di utilizzo
è usato più spesso nel discorso orale o scritto
opzioni di traduzione delle parole
esempi di utilizzo (varie frasi con traduzione)
etimologia

Cosa (chi) è ATS (язык программирования) - definizione

ATS (язык программирования)

ATS (от ) — язык программирования, нацеленный на поддержку формальной верификации в сочетании с практическим программированием с использованием системы зависимых типов. Разработчик — Хонвэй Си; основные конструкции заимствованы из ML и OCaml, предшествующий язык Dependent ML того же автора по сути включён в новый.

https://ru.wikipedia.org/wiki/ATS_(язык_программирования)

Сверхвысокоуровневый язык программирования

Сверхвысокоуровневый язык программирования (язык программирования сверхвысокого уровня, , VHLL) — язык программирования с очень высоким уровнем абстракции. В отличие от языков программирования высокого уровня, где описывается принцип «как нужно сделать», в сверхвысокоуровневых языках программирования описывается лишь принцип «что нужно сделать».

https://ru.wikipedia.org/wiki/Сверхвысокоуровневый_язык_программирования

Учебный язык программирования

ЯЗЫК ПРОГРАММИРОВАНИЯ, ПРЕДНАЗНАЧЕННЫЙ ДЛЯ ОБУЧЕНИЯ

Язык учебного программирования; Список учебных языков программирования; Учебные языки программирования

Уче́бный язы́к программи́рования — язык программирования, предназначенный для обучения. В качестве таковых разрабатывались такие языки как BASICАндрей Колесов. Basic — этапы большого пути (авторский вариант статьи). Опубликована с незначительной литературной правкой в журнале «Наука и жизнь», 2000, № 10. С. 18—20. и ПаскальWirth N. Recollections about the development of Pascal (HOPL II), 3.3 . Из разработанного для обучения языка ABC вырос PythonBill Venners. The Making of Python . A Conversation with Guido van Rossum. Part I. 2003, January 13.. Популярным языком, разработанным специально для образования является LOGOЯзык Лого на сайте «Ис

https://ru.wikipedia.org/wiki/Учебный_язык_программирования

Wikipedia

ATS (язык программирования)

ATS (от англ. Applied Type System) — язык программирования, нацеленный на поддержку формальной верификации в сочетании с практическим программированием с использованием системы зависимых типов. Разработчик — Хонвэй Си; основные конструкции заимствованы из ML и OCaml, предшествующий язык Dependent ML того же автора по сути включён в новый.

Производительность программ на ATS сравнима с аналогичными показателями программ на Си и C++. По мнению автора языка эффективность для функциональных языков в основном зависит от способа представления данных в языке и оптимизации хвостовых вызовов, поэтому данные в ATS хранятся в простом (плоском) виде или преимущественно без вложенных представлений.

https://ru.wikipedia.org/wiki/ATS (язык программирования)

Che cos'è ATS (язык программирования) - definizione